Time Past, Time Present, Time Future
نویسندگان
چکیده
منابع مشابه
Real Time Temporal Logic: Past, Present, Future
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that timed languages specified by the past fragment of MITL, can be accepted by deterministic timed automata. On the other hand we provide a proof that certain languages expressed in the future fragment of MITL are not dete...
متن کاملTime-resolved angiography: Past, present, and future.
The introduction of digital subtraction angiography (DSA) in 1980 provided a method for real time 2D subtraction imaging. Later, 4D magnetic resonance (MR) angiography emerged beginning with techniques like Keyhole and time-resolved imaging of contrast kinetics (TRICKS) that provided frame rates of one every 5 seconds with limited spatial resolution. Undersampled radial acquisition was subseque...
متن کاملReal-Time Systems - the past, the present, and the future
Distributed embedded systems are becoming progressively more dynamic, in an attempt to improve resource efficiency, increase functionality and reduce time-to-market. In these systems, components can be connected, change mode or disconnected at runtime. Some of the functionality, though, requires guaranteed timings through all such changes, which calls upon fast on-line schedulability tests. In ...
متن کاملTime-series models in marketing: Past, present and future
Time-series methods have been available to explain and forecast the behavior of longitudinal variables for several decades. We first discuss why, at first, these methods received relatively little attention from marketing model builders and users. We then show how a number of obstacles to their more widespread use have recently been attenuated. Finally, we identify four developments that may si...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Behavior Analyst
سال: 1989
ISSN: 0738-6729,2196-8918
DOI: 10.1007/bf03392497